Forme ale organizării vieții monahale și ale misiunii mănăstirii promovate de Sfântul Nil Sorski
نویسندگان
چکیده
منابع مشابه
Navier - Stokes ALE free
Droplet impact onto a solid surface is modeled and numerically simulated using an ALE formulation of the Navier-Stokes free surface equations. The triple line dynamics aspect is modeled implicitely through the Shikhmurzaev theory. Those equations involve a generalized Navier slip boundary conditions with the variation of the surface tension near the triple line (thus a local Marangoni effect). ...
متن کاملALE Defeasible Description Logic
One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning. In this paper, we extend ALC− Defeasible Description Logic with existential quantifier, i.e., ALE Defeasible Description Logic. Also, we modify some parts of the logic, resulting in an increasing effici...
متن کاملALE: Awesome Likeable Enclaves
Our goal is to formally verify work begun by Gollamudi and Chong, who introduce ImpE, a security-typed calculus that models low-level imperative programs that can directly use enclaves (a sort of private memory region), and provide a translation from a higher-level, enclave-agnostic calculus, ImpS, to ImpE [1]. Our project naturally falls into two parts: proving that every well-typed program in...
متن کاملD1-D5 on ALE Space
We construct a two-dimensional N = (0, 4) quiver gauge theory on D1-brane probing D5-branes on ALE space, and study its IR behavior. This can be thought of as a gauged linear sigma model for the NS5-branes on ALE space.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Altarul Reîntregirii
سال: 2015
ISSN: 1584-8051,2457-9394
DOI: 10.29302/ar.2015.2.8